package kunsch.bdd;

public interface BDDReduceStrategy
{

	AbstractBDD reduceBdd(AbstractBDD bdd);
	
}
